Публикации с тэгом "Haskell (programming language)"

СТАТЬЯ Практика функционального программирования #5

От редактора Выбор темы для журнальной статьи целиком и полностью лежит на совести автора. Тем удивительнее находить в шести статьях, написанных абсолютно независимо друг от друга, какую-то одну объединяющую тему. Темой этого номера, похоже, стали горячо любимые всеми «баги». Редакторы подвели итоги конкурса, объявленного в третьем выпуске журнала, и рассказали про баги, сделанные конкурсантами. Максим Трескин описал средства для борьбы с багами, которыми по праву гордится платформа Erlang. Рома...

СТАТЬЯ Обзор книги «Beginning F#»

Недавно Александр Краковецкий предложил всем желающим написать ревью некоторых книг издательства APRESS в обмен на бумажные версии этих книг. Так как я веду цикл статей о F#, я заинтересовался книгой «Beginning F#». Название «Beginning F#» является несколько неточным — я бы назвал книгу «Beginning, Advancing and Getting Astounded by F#». Эта книга последовательно описывает все более и более сложные тематики, вызывая у читателя удивление и невольное уважение к скрытым возможностям нового языка пр...

СТАТЬЯ Нова архітектура для обчислень на відеокартах - NVIDIA Fermi

Розглянемо список архітектурних нововведень: Уніфікований 64-бітний простір адрес Підтримка автоматичної корекції помилок (Errors Check and Correction) Ієрархічний паралельний кеш (Parallel DataCache) Конкурентне виконання шейдерів (NVIDIA GigaThread™ engine) та швидка зміна контексту виконання Швидкі атомарні операції з пам'ятю Розглянемо наслідки вище наведених нововведень: Уніфікований простір адресс дозволяє використовувати мову програмування С++ для програмування шейдерів у повному об'ємі, ...

СТАТЬЯ Заметки о F#. Часть 0: введение

Итак, сначала я хочу сказать пару слов о функциональном программировании вообще. Функциональное программирование — раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в их математическом понимании. То есть, в грубом обобщении, вся программа является функциональной зависимостью результата от входных аргументов:program = f(args)Императивных стиль программирования описывает алгоритм — последовательность шагов, которые не...

СТАТЬЯ Видеокурс Programming Paradigms (Stanford)

27 лекций минут по 20 каждая ведут Джерри Кейн из Стэнфорда и Сашей Рашем (Facebook). Рассматриваются концепции и основы C, ассемблера, C++, Scheme, Python и Haskell. Lecture by Professor Jerry Cain for Programming Paradigms (CS107) in the Stanford University Computer Science department. Lecture 1 | Programming Paradigms (Stanford) Professor Cain provides an overview of the course. Programming Paradigms (CS107) introduces several programming languages, including C, Assembly, C++, Concurrent Prog...